- пример дизъюнкта
- Programming: clause instance
Универсальный русско-английский словарь. Академик.ру. 2011.
пример дизъюнкта
Смотреть что такое "пример дизъюнкта" в других словарях:
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… … Википедия
